final{-}iterate($f$; $x$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if can{-}apply($f$; $x$) then final{-}iterate($f$; do{-}apply($f$; $x$)) else $x$ fi 
\\[0ex]\emph{(recursive)}